all theorems on circle